A Target-Oriented Path Generation Method based on Concolic Testing
نویسندگان
چکیده
منابع مشابه
MAGIC: Path-Guided Concolic Testing
Concolic testing has been proposed as an effective technique to automatically test software. The goal of concolic testing is to generate test inputs to find faults by executing as many paths of a program as possible. However, due to the large state space, it is unrealistic to consider all of the program paths for test input generation. Rather than exploring the paths based on the structure of t...
متن کاملAbstraction-driven Concolic Testing
ion-driven Concolic Testing‹ Przemys law Daca, Ashutosh Gupta, and Thomas A. Henzinger 1 IST Austria, Austria 2 Tata Institute for Fundamental Research, India Abstract. Concolic testing is a promising method for generating test suites for large programs. However, it suffers from the path-explosion problem and often fails to find tests that cover difficult-to-reach parts of programs. In contrast...
متن کاملConcolic Testing and Constraint Satisfaction
Software testing is the most common technique used in industry to improve reliability and quality of software. Unfortunately, testing is mostly a manual process that reportedly accounts for over half of the typical cost of software development and maintenance. Symbolic execution [6, 2, 3, 9, 5] was proposed in the 70s to automate software testing by generating test inputs. During symbolic execu...
متن کاملA hybrid object-oriented class testing method : based on state-based and data-flow testing
A new hybrid object-oriented class testing method, which combines state-based testing with data-flow testing approaches, is proposed in this paper. Based on this approach, an automated class test tool, called MACT (Method for Automated Class Testing), has been built. This consists of five components: a test case tree generator, a test message generator, a test driver, a test result inspector an...
متن کاملAn UML Statechart Diagram-Based MM-Path Generation Approach for Object-Oriented Integration Testing
MM-Path, an acronym for Method/Message Path, describes the dynamic interactions between methods in object-oriented systems. This paper discusses the classifications of MM-Path, based on the characteristics of object-oriented software. We categorize it according to the generation reasons, the effect scope and the composition of MM-Path. A formalized representation of MM-Path is also proposed, wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Security and Its Applications
سال: 2016
ISSN: 1738-9976,1738-9976
DOI: 10.14257/ijsia.2016.10.6.16